$A$ $\sim$ $B$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$f$:$A$$\rightarrow$$B$. Bij($A$;$B$;$f$)